Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
891	Political Analysis Advance Access published June 5, 2006 doi:pan/mpj019 Set Relations in Social Research: Evaluating Their Consistency and Coverage Add to Reading List Source URL: www.socsci.uci.edu Language: English - Date: 2006-06-05 12:50:42 Rough set Theoretical computer science Fuzzy set Set theory Mathematical logic Charles C. Ragin Causality Level of measurement Logic Fuzzy logic Science
892	Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2011-05-16 06:51:51 Mathematical series Logic in computer science Mathematical logic Rewriting Unification Characterizations of the exponential function Mathematics Mathematical analysis Theoretical computer science
893	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
894	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
895	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
896	The Blok-Ferreirim theorem for normal GBL-algebras and its application Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2007-08-07 18:46:38 Fuzzy logic Lattice theory Algebraic logic Algebraic structures Residuated lattice MV-algebra Variety BL Heyting algebra Logic Mathematical logic Mathematics
897	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-01-31 17:11:12 Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic
898	VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya. Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2008-08-22 12:44:37 Philosophers of mathematics Formal systems Giuseppe Peano Peano axioms Richard Dedekind Henri Poincaré Axiomatic system Axiom Philosophy of mathematics Mathematics Mathematical logic Number theorists
899	11098_2006_9063_133_3-web 443.. Add to Reading List Source URL: fas-philosophy.rutgers.edu Language: English - Date: 2011-03-21 20:18:58 Modal logic Possibility Philosophical logic Metaphysicians Robert Stalnaker Possible world Metaphysics Philosophical realism Actualism Logic Mathematical logic Philosophy
900	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science

UPDATE